<?php

global $a;